COMMENT ⊗   VALID 00004 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	(load "tmatch.124")
C00007 00003	(DEFMACRO FOO #.%VAR-LIST% `(BAZ ,P))
C00008 00004	(FASLOAD uMATCH)
C00012 ENDMK
C⊗;
(load "tmatch.124")
(load "hymtch.124")
(load "hmatch.124")
(load "gmatch.fas")
(setq fasload ())
(fasload tmatch)
(fasload match)

(sstatus uuolinks)
(trace p-choose-first p-choose-next)
(%match '(($ch ($R ?n numberp)) ($ch 2)  ($ch 3)) '(3 2 1))
(step %%umatch)

(%umatch '((?a b c) b c) '((a . b . c . ) . b . c . ))
(%umatch '(($R ?a numberp) b c) '(1 . b . c . ))
(%umatch '(($R ?a numberp) b c) '(E . b . c . ))
(%umatch '(a ($IR *n numberp) c ) '(a . 1 . 2 . 3  . c . ))
(%umatch '(a ($R *3B foop) c ) '(a . b . b . b  . c . ))
(%umatch '(?a b  c ) '((a . b . c . ) . b . c . ))
(%umatch '(a *b  c ) '(a . b . b . c . ))
(%umatch '(a *b  ) '(a . b . b . b . ))
(%umatch '(?a b  c ) '(a . b . c . ) )

(%umatch '((?a . b . c .)  . b  . c .) '((a . b . c . ) . b . c . ))
(%umatch '(($R ?a numberp) . b . c .) '(1 . b . c . ))
(%umatch '(($R ?a numberp) . b . c .) '(E . b . c . ))
(%umatch '(a . ($IR *n numberp) . c .) '(a . 1 . 2 . 3  . c . ))
(%umatch '(a . ($R *3B foop) . c .) '(a . b . b . b  . c . ))
(%umatch '(?a . b  . c .) '((a . b . c . ) . b . c . ))
(%umatch '(a . *b  . c .) '(a . b . b . c . ))
(%umatch '(a . *b  .) '(a . b . b . b . ))
(%umatch '(?a . b . c .) '(a . b . c . ) )

(defun foop (l)
       (and (= (length l) 3)
	    (allp l 'b)))

(defun allp (x v)
 (cond ((null x) t)
       ((eq (car x) v) (allp (cdr x) v))))

(P-LISTIFY-REST %/#D)
(DEFSTRUCT FOO (TYPE 'BAZOLA) A B)
	
(SETQ F (MAKE-FOO))
(SETF (A F) 'HEHHEH)
(A F)

(%umatch '?b  '(a (b b) c))

(%umatch '(a ?b c) '(a (b b) c))

(%umatch '((a (b)) ?b c) '((a (b)) (b b) c))

(%umatch '(a ?a b ?a) '(a b b a))

(%umatch '(a ?a b ?a) '(a b a b))

(%umatch '(a ?a b ?a) '(a b b b))

(%umatch '(a *a b c *a)
	 '(a a b a b a b c a b a b a ))

?b
?n

(%umatch '(a ($r ?n numberp) b) '(a 3 b))

(defun foop (l) (= (length l) 3)) 

(%umatch '(a ($ir *a numberp) b) '(a 1 2 3 b))
(step %%umatch)

(%match '(a ($r *a foop) b) '(a 1 2 3 b))
(DEFMACRO FOO #.%VAR-LIST% `(BAZ ,P))
(FASLOAD uMATCH)
(SETQ FASLOAD ())
(LOAD "TEST.LSP")
(FASLOAD TEST)
(LOAD "MATCH.118")
(%MATCH '(A B C) '(A B C))
(%umatch '(($ch ($R ?n numberp)) ($ch b) ($ch c)) '(c b 1))

?n

(DEBUG T)
(TRACE %%CHOOSER %%SEARCH)

(P-NEXT-CHOICE DAT)
(SEARCH-LIST DAT)
(EMPTY DAT)
(SETQ DAT (P-CHOOSE-FIRST '3 '(1))) 

(SETQ DAT (P-CHOOSE-NEXT DAT))

(STEP P-CHOOSE-NEXT)